es{-}receives(${\it es}$; $e$; $l$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$receives(es{-}eq(${\it es}$); idlnk{-}deq; es{-}pred?(${\it es}$); es\_info(${\it es}$); (es{-}oaxioms(${\it es}$).1); $e$; $l$)